Viability for nonlinear multi-valued reaction–diffusion systems
نویسندگان
چکیده
منابع مشابه
Nonlinear Viscosity Algorithm with Perturbation for Nonexpansive Multi-Valued Mappings
In this paper, based on viscosity technique with perturbation, we introduce a new non-linear viscosity algorithm for finding a element of the set of fixed points of nonexpansivemulti-valued mappings in a Hilbert space. We derive a strong convergence theorem for thisnew algorithm under appropriate assumptions. Moreover, in support of our results, somenumerical examples (u...
متن کاملAn Algorithm for Multi-Realization of Nonlinear MIMO Systems
This paper presents a theoretical approach to implementation of the “Multi-realization of nonlinear MIMO systems”. This method aims to find state-variable realization for a set of systems, sharing as many parameters as possible. In this paper a special nonlinear multi-realization problem, namely the multi-realization of feedback linearizable nonlinear systems is considered and an algorithm for ...
متن کاملApproximate Set-Valued Observers for Nonlinear Systems
A set-valued observer (SVO) produces a set of possible states based on output measurements and a priori models of exogenous disturbances and noises. Previous work considered linear time-varying systems and unknown-but-bounded exogenous signals. In this case, the sets of possible state vectors take the form of polytopes whose centers are optimal state estimates. These polytopic sets can be compu...
متن کاملan algorithm for multi-realization of nonlinear mimo systems
this paper presents a theoretical approach to implementation of the “multi-realization of nonlinear mimo systems”. this method aims to find state-variable realization for a set of systems, sharing as many parameters as possible. in this paper a special nonlinear multi-realization problem, namely the multi-realization of feedback linearizable nonlinear systems is considered and an algorithm for ...
متن کاملDon't Know for Multi-valued Systems
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstractions are identified and studied: Abstraction by joining states of the underlying multi-valued Kripke structure as well as abstraction of truth values, for each following both an optimistic and pessimistic account. It is shown that our notion of abs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nonlinear Differential Equations and Applications NoDEA
سال: 2010
ISSN: 1021-9722,1420-9004
DOI: 10.1007/s00030-010-0064-3